翻訳と辞書
Words near each other
・ Boom Town (Doctor Who)
・ Boom Town (film)
・ Boolboonda Tunnel
・ Boolboonda, Queensland
・ Boolcoomatta Reserve
・ Boolcoomatta, Bindarrah and Kalkaroo Stations Important Bird Area
・ Boole & Babbage
・ Boole (band)
・ Boole (crater)
・ Boole (disambiguation)
・ Boole (tree)
・ Boole polynomials
・ Boole's expansion theorem
・ Boole's inequality
・ Boole's rule
Boole's syllogistic
・ Boolean
・ Boolean algebra
・ Boolean algebra (structure)
・ Boolean algebras canonically defined
・ Boolean analysis
・ Boolean circuit
・ Boolean conjunctive query
・ Boolean data type
・ Boolean delay equation
・ Boolean domain
・ Boolean expression
・ Boolean function
・ Boolean grammar
・ Boolean hierarchy


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Boole's syllogistic : ウィキペディア英語版
Boole's syllogistic

Boolean logic is a system of syllogistic logic invented by 19th-century British mathematician George Boole, which attempts to incorporate the "empty set", that is, a class of non-existent entities, such as round squares, without resorting to uncertain truth values.
In Boolean logic, the universal statements "all S is P" and "no S is P" (contraries in the traditional Aristotelian schema) are compossible provided that the set of "S" is the empty set. "All S is P" is construed to mean that "there is nothing that is both S and not-P"; "no S is P", that "there is nothing that is both S and P". For example, since there is nothing that is a round square, it is true both that nothing is a round square and purple, and that nothing is a round square and ''not''-purple. Therefore, both universal statements, that "all round squares are purple" and "no round squares are purple" are true.
Similarly, the subcontrary relationship is dissolved between the existential statements "some S is P" and "some S is not P". The former is interpreted as "there is some S such that S is P" and the latter, "there is some S such that S is not P", both of which are clearly false where S is nonexistent.
Thus, the subaltern relationship between universal and existential also does not hold, since for a nonexistent S, "All S is P" is true but does not entail "Some S is P", which is false. Of the Aristotelian square of opposition, only the contradictory relationships remain intact.
==See also==

* Boolean logic
* Propositional logic
* list of Boolean algebra topics

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Boole's syllogistic」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.